HLA RTI数据描述码扩展

为高层体系结构(High Level Architecture，HLA)运行支撑环境(Run—Time Infrastructure，RTI)引入一个新的扩展，该扩展使用数据描述码在消息上附加特征属性，使RTI能够对数据应用更丰富的使用策略。文章第1、2部分提出了基于数据描述码过滤数据，以及构建HLA仿真系统面向方面框架(Aspect Oriented Framework，AOF)的技术，第3、4部分详细说明了数据描述码扩展和实验原型的设计。数据描述码扩展可用于提高仿真系统的运行效率，改进大规模HLA仿真系统的架构设计，并且不改变RTI和联邦成员的编程接口。     

支持虚拟企业组建的DSS与CSCW集成框架

针对虚拟企业组建过程复杂, 需要决策支持系统支持的 特殊情况， 分析了CSCW对DSS的制约, 利用CSCW提供的多种技术和工具支持虚拟企业组建决策, 提出一种CSCW与DSS的集成框架. 并通过对集成框架进行评估与分析发现， 该方法是高效、 可行的.     

存储特定流数据的通用框架

通过仔细研究存储流数据的各种应用的共同特征,提出了一种数据流存储模型.在数据流存储模型基础上,采用先进的基于组件的开发方法,实现了一个存储流数据的通用框架,通用框架采用本体技术来解决语义互操作性.测试结果表明,通用框架可以调用一组用户提供的过滤算法,筛选出指定数据流中符合条件的信息,将它们成批存储到数据库中.用户可以通过定制和配置参数的方法,在各种不同的应用环境中重用该通用框架.     

城市空间信息系统动力学演化机理与应用

根据系统动力学理论和方法，构建了城市空间系统动力学过程模型，揭示了空间结构-空间认知-空间行为-空间过程-空间结构的演化过程。提出城市空间数据在时间、空间和过程上分为不同的层次，具有时态特性。构建了城市空间信息系统动力学过程模型，进而得出城市空间信息系统动力学演化机理。在此基础上．构建了空间信息基础框架数据库动态稳定模式，实现了数据库的动态稳定性。同时保证了各部门共同建设和分享一个框架数据库，避免了每隔几年就需要大规模修测城市地形数据库。新的工作流模式的应用．改变了传统粗放式的管理模式。     

数据质量维度与框架研究综述

为了对数据质量维度有一个全面、清析而准确的定义,便于在领域层面达成一致,也为从现存的数据质量管控技术架构中选择出合适的框架提供依据,对数据质量的发展历程和维度以及其管控框架进行了全面的研究。通过研究明确了复杂的数据质量维度指标,按其名称和定义提供一套比较全面的数据质量规范,并对其质量管控技术框架进行了综合研究与对比。该研究能科学地指导具体应用需求选择合适的数据质量框架和比较全面的数据质量维度实现对数据的评估,同时可节省大量的时间,减少人力和物力支出。     

如何科学、合理地开展小学英语写作技能训练

作为一种重要的语言输出形式,小学生＂写作＂能力测试题目已被正式地列入小学升初中英语考试的试题中。为探讨科学、有效的写作技能训练方法,本文从小学英语写作技能训练的分阶段目标、教学原则和活动形式三个方面展开讨论,为小学英语教师以及英语教育专业的师范生提供行而有效的训练技巧以及适应面广、可操作性强的教学活动。     

SRC框架基于位移的多目标优化设计

将SRC框架的工程造价及结构层间位移差最小定为优化目标,并根据SRC框架结构在不同受力阶段各类构件的受力特性,提出两阶段优化设计的思路:小震作用下,认为混凝土处于开裂的临近状态,假定钢材未发挥作用,仅有混凝土发挥作用,据此对结构构件的截面尺寸与混凝土用量进行优化;在中震及大震作用下,对满足结构性能要求的钢材用量进行优化.综合考虑各种约束条件,运用层次分析OC-GA算法实施SRC框架的抗震优化设计,并通过优化设计实例证实所采用的优化思路是有效、可行的.     

黔南石炭系层序地层格架中碳酸盐岩成岩作用研究

在三级层序地层格架内,从体系域及层序界面的角度对黔南石炭系碳酸盐岩的成岩作用进行了研究.结果表明,与LST有关的成岩作用主要为范围广泛的暴露溶蚀作用;与TST有关的成岩作用主要发育于海底成岩环境和混合水成岩环境,其中后者会随着海平面的不断上升而向大陆迁移;与HST有关的成岩作用主要包括发育于海底成岩环境的胶结作用及高位晚期的大气淡水成岩环境中的溶蚀、胶结和白云石化作用.与Ⅰ型层序界面有关的成岩作用主要有溶蚀作用、胶结作用和白云石化作用,成岩时间长、强度大,并且在黔南可进行区域对比;与Ⅱ型层序界面相关的成岩作用发育规模小,对碳酸盐岩的改造能力较弱.与HST有关的成岩作用及与Ⅰ型层序界面有关的成岩作用对碳酸盐岩储层的改造能力强,往往可形成厚层的白云岩及规模较大的溶蚀孔洞体系,因此,可以作为有利储层追踪对比及预测的有力地质依据之一.     

扩展Tempura语言统一模型检测算法

针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序...     

信用攸关的利率互换的定价

在约化方法的框架下,针对实务界出现的一种新型信用衍生产品--信用攸关的利率互换(credit contingentinterest rate swap,CCIRS),以偏微分方程(partial differentialequation,PDE)为方法,利用对冲原理建立了定价模型.之后分别利用显式和隐式差分对模型进行数...